//
//  tree.cpp
//  ltlbmc
//
//

#include <iostream>
#include "tree.h"

treeNode::treeNode() {
    
}

treeNode* treeNode::setRec(int rec) {
    this->rec = rec;
    return this;
    
}

treeNode* treeNode::setUnroll(int unroll) {
    this->unroll = unroll;
    return this;
}

treeNode* treeNode::setPre(treeNode* pre) {
    this->pre = pre;
    return this;
}

treeNode* treeNode::setCond(stmt* cond) {
    this->cond = cond;
    return this;
}

treeNode* treeNode::setTarget(satEX* target) {
    this->target = target;
    return this;
}

treeNode::~treeNode() {
    
}

